Computability logic

#	Item
551	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2002-09-25 14:11:15 Mathematics Computability theory Mathematical logic Turing machine Alan Turing Hypercomputation Computability Church–Turing thesis Entscheidungsproblem Theoretical computer science Theory of computation Computer science
552	Untitled Add to Reading List Source URL: aran.library.nuigalway.ie Language: English - Date: 2010-05-20 10:04:40 Computability theory Mathematical structures Epistemology Mathematical logic General equilibrium theory Brouwer fixed-point theorem Constructivism Bolzano–Weierstrass theorem Church–Turing thesis Mathematics Topology Algebra